Search Results
Lean Together 2021: An overview of Lean 4
Lean Together 2021: Metaprogramming in Lean 4
Lean Together 2021: Towards verified decompilation using Lean 4
Lean Together 2021: Metaprogramming in Lean 4 continued
Lean Together 2021: Model Theory in Lean
Lean Together 2021: Opening remarks
Lean Together 2021: Towards general-purpose automation for Lean
Lean Together 2021: Axiomatic Geometry in Lean
Lean Together 2021: Mathematical insights from using Lean
Lean Together 2021: Panel on teaching with proof assistants
Overview of Lean
Lean Together 2021: Widgets: interactive output in VSCode
